FDL - Nuprl Definition : es-knows

Nuprl Definition : es-knows

11,40

K(P)@e ==

e':PossibleEvent(poss). (R(e,e'))

(P(e'))

clarification:

es-knows{i:l}(poss; R; P; e) ==

e':possible-event{i:l}(poss). (R(e,e'))

(P(e'))

Definitions x:A. B(x), PossibleEvent(poss), P Q, f(a)

FDL editor aliases es-knows

Definitions	x:A. B(x), PossibleEvent(poss), P Q, f(a)
FDL editor aliases	es-knows